Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

• K. Bhargavan, A. Pironti, and A. Delignat-Lavaud work closely with Microsoft Research in Cambridge, Redmond, Silicon Valley, and Bangalore (C. Fournet, N. Swamy, M. Abadi, P. Naldurg)

• G. Steel and R. Bardou work closely with University of Venice, Italy (R. Foccardi).

• G. Bana works closely with Keio University Japan

• E-I. Bartzia works closely with IMDEA Madrid (P-Y. Strub)